antecedent theorem

[计] 前提定理